Local Reachability and Local Observability of Controlled Quantum Dynamics
نویسندگان
چکیده
منابع مشابه
ساختار کلاسهایی از حلقه های z- موضعی و c- موضعی the structure of some classes of z-local and c-local rings
فرض کنیمr یک حلقه تعویض پذیر ویکدار موضعی باشدو(j(r رایکال جیکوبسن r و(z(r مجموعه مقسوم علیه های صفر حلقه r باشد.گوییم r یک حلقه z- موضعی است هرگاه j(r)^2=. .همچنین برای یک حلقه تعویض پذیر r فرض کنیم c یک عنصر ناصفر از (z( r باشد با این خاصیت که cz( r)=0 گوییم حلقه موضعی r یک حلقه c - موضعی است هرگاه و{0 و z(r)^2={cو z(r)^3=0, نیز xz( r)=0 نتیجه دهد که x عضو {c,0 } است. در این پایان نامه ساخ...
Local Observability of Rolling
This paper investigates local observability of the pose and motion of a curved threedimensional object rolling on a rough horizontal plane. The plane models a controllable robotic palm imbued with tactile sensors. The palm can accelerate in arbitrary translational directions and the tactile sensors can determine the contact location between the palm and the rolling object at every instant in ti...
متن کاملA concept of local observability
Observability is a fundamental system-theoretic property which reflects the possibility of estimating internal states on the basis of input/output data. In the context of nonlinear systems, various possible ways of formalizing this property give rise to different, nonequivalent, notions. These notions differ mainly in the choice of inputs used in testing observability (see for instance a discus...
متن کاملOn Observability and Reachability ?
Observability and reachability are important concepts in formal software development. While observability concepts allow to specify the required observable behavior of a program or system, reachability concepts are used to describe the underlying data in terms of data type constructors. In this paper we show that there is a duality between ob-servability and reachability, both from a methodolog...
متن کاملReachability and the Power of Local Ordering
The L NL question remains one of the major unresolved problems in complexity theory Both L and NL have logical characterizations as the sets of totally ordered structures expressible in rst order logic augmented with the appropriate Transitive Closure operator I FO DTC captures L and FO TC captures NL On the other hand in the absence of ordering FO TC is strictly more powerful than FO DTC GM An...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the Society of Instrument and Control Engineers
سال: 2004
ISSN: 0453-4654
DOI: 10.9746/sicetr1965.40.1078